101. Reliable software technologies--Ada-Europe 2009
پدیدآورنده: Fabrice Kordon, Yvon Kermarrec (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Reliability, Congresses
رده :
QA76
.
76
.
R44
A33
2009
102. Reliable software technologies- Ada-Europe'97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 1997 : proceedings
پدیدآورنده: Keith Hardy, Jim Briggs )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1251
103. Reliable software technologies : Ada-Europe'96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings
پدیدآورنده: Alfred Strohmeier )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1088
104. Reliable software technologies - Ada-Europe'99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 1999 : proceedings
پدیدآورنده: Michael Gonzalez Harbour, Juan A. de la Puente )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1622
105. Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings
پدیدآورنده: Lars Asplund )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1411
106. Reliable software technologies Ada Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30 2000 : proceedings
پدیدآورنده: Hubert B. Keller, Erhard Plodereder )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1845
107. Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings
پدیدآورنده: Dirk Craeynest, Alfred Strohmeier )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
2043
108. Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
پدیدآورنده: Albert Llamosi, Alfred Strohmeier )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Reliability --Congresses ، Computer software,Congresses ، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
3063
109. Reliable software technologies-Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings
پدیدآورنده: Jean-Pierre Rosen, Alfred Strohmeier )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
2655
110. Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings
پدیدآورنده: Tullio Vardanega, Andy Wellings )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Reliability -- Congresses ، Computer software,، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
3555
112. Reliable systems on unreliable networked platforms
پدیدآورنده: / Fabrice Kordon, Janos Sztipanovits (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Software architecture--Development--Congresses,Computer systems--Reliability--Congresses
رده :
QA
,
76
.
76
,.
D47
,
R46
,
2007
113. Resilient Computer System Design
پدیدآورنده: \ Victor Castano , Igor Schagaev
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Fault-tolerant computing,محاسبه تحملپذیری خطا,a03,a03,Computer software -- Reliability,Electronic digital computers -- Reliability.,نرمافزار -- اطمینانپذیری ,کامپیوترهای رقمی -- امانتداری
رده :
QA
76
.
9
.
C32R4
2015
E-Book
,
115. Software Design for Resilient Computer Systems /
پدیدآورنده: by Igor Schagaev, Eugene Zouev, Kaegi Thomas.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Reliability.,Fault-tolerant computing.,Self-adaptive software.,Computer software-- Reliability.,Fault-tolerant computing.,Self-adaptive software.
رده :
QA76
.
9
.
F38
116. Software Design for Resilient Computer Systems.
پدیدآورنده: \ Igor Schagaev , Thomas Kaegi-Trachsel
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Fault-tolerant computing,محاسبه تحملپذیری خطا,a03,a03,Computer software -- Reliability.,Self-adaptive software.,نرمافزار -- اطمینانپذیری ,نرمافزارهای خودتطبیق
رده :
QA
76
.
9
.
S62S28
2016
E-Book
,
117. Software Engineering for Resilient Systems
پدیدآورنده: \ Alessandro Fantechi , Patrizio Pelliccione (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Computer software -- Reliability -- Congresses.,Computer software -- Reliability.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- اطمینانپذیری -- کنگره ها ,نرمافزار -- اطمینانپذیری
رده :
QA
76
.
758
.
S62
2015
E-Book
,
118. Software Fault Tolerance Techniques and Implementation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: tolerant Computing. ; Computer Software ; Reliability. ; -Fault
119. Software certification: Proceedings of the centre for software reliabikity conference entitled software certification held at the Penta Hotel, Gatwick, UK 13-16 September 1988
پدیدآورنده: Edited by Bernard De Neumann
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computer systems- Software- Reliability certification
رده :
QA
،
76
,.
754
،.
S64
،
1989
120. Software defect and operational profile modeling
پدیدآورنده: Cai, Kai- Yuan, 1965-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer software- Reliability- Mathematical models ► Computer software- Quality control
رده :
005
C133s
